$\forall$$L$:Top List, $R$, $i$:Top.
\\[0ex]R{-}has{-}loc($\oplus$$x$$\in$$L$.$R$($x$);$i$) $\sim$ reduce($\lambda$$x$,$b$. R{-}has{-}loc($R$($x$);$i$) $\vee_{2}$ $b$;false$_{2}$;$L$)